Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science)
by Kim G. Larsen,Peter Niebert
ISBN 13: 9783540216711
Format: Paperback (292 pages) Publisher: Springer Published: 13 Jun 2008
Save for later